Runtime system - PDFSEARCH.IO - Document Search Engine

Runtime system
Results: 126

#	Item
51	Partial Dispatch: Optimizing Dynamically-Dispatched Multimethod Calls with Compile-Time Types and Runtime Feedback Jonathan Bachrach Artificial Intelligence Laboratory Massachussetts Institute of Technology Cambridge, MA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2001-12-15 13:36:05 Object-oriented programming Polymorphism Method Type theory Data types Multiple dispatch Dynamic dispatch Generic function Type system Software engineering Computing Computer programming
52	Katana: Towards Patching as a Runtime part of the Compiler-Linker-Loader Toolchain Sergey Bratus, James Oakley, Ashwin Ramaswamy, Sean W. Smith1 Computer Science Dept. Dartmouth College Hanover, New Hampshire Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2011-07-11 16:41:08 Patch Software maintenance Relocation Object file Library Data differencing Portable Executable Address space layout randomization Stack Computing Software System software
53	Microsoft SQL Server 2012 Standard Edition, Runtime-Restricted Use Software Core Licenses: 2 END-USER LICENSE AGREEMENT Add to Reading List Source URL: www.igrafx.com Language: English - Date: 2015-01-24 12:14:39 Software licenses Client Access License Windows Server Hardware virtualization Server X Window System Virtualization software licensing Software System software Computing
54	Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries Magnus Madsen Benjamin Livshits Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-14 19:43:32 Type theory Ajax Cross-platform software JavaScript Procedural programming languages Windows Runtime Type system Prototype-based programming JSON Computing Software engineering Computer programming
55	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:14 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
56	Type-safe Runtime Code Generation with LLVM Trevor L. McDonell1,2 1 Manuel M. T. Chakravarty2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2015-03-01 20:27:46 Data types Functional programming Type theory Compiler construction Procedural programming languages LLVM Type system Static single assignment form C Software engineering Computing Computer programming
57	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
58	Automated OS-level Device Runtime Power Management Chao Xu Felix Xiaozhu Lin Yuyang Wang Add to Reading List Source URL: www.ruf.rice.edu Language: English - Date: 2015-01-26 21:05:03 Interrupts Device driver Operating system Embedded system Personal computer hardware I²C Secure Digital Ring Computer architecture Computing Computer hardware
59	A Runtime System for Interactive Web Services Claus Brabrand Anders Møller Anders Sandholm Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-05-03 02:26:58 Web development Session Common Gateway Interface Push technology Web server Effi Java Servlet Server-side scripting World Wide Web Computing Software
60	Runtime Automated Detection of Out of Process Resource Mismanagement in the X Windowing System Caolán McNamara Regis University Add to Reading List Source URL: www.csn.ul.ie Language: English - Date: 2011-06-04 17:25:40 X Window System Resources Windowing system Web browser Software bug X resources Operating system Vi Software Computing System software

UPDATE